sender($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecase1($e$;${\it info}$;$i$.$\cdot$;$l$,${\it e'}$.${\it e'}$)